Proceedings Eighth Workshop on Model-Based Testing
نویسندگان
چکیده
منابع مشابه
Proceedings 1 st Workshop on Model - based Testing in Practice
Model-driven construction of system level tests should involve domain experts. Our Model-driven Test Case Construction (MTCC) approach employs feature models and protocol state machines to represent systems under test (SUT) as well as the actions and assertions used to execute a SUT. An editor is instantiated from models of SUTs and actions and assertions for the SUT. This editor supports the c...
متن کاملThe Proceedings of the Eighth International Research Workshop on Advances and Innovations in Software Testing
One of the challenges of creating a successful project in agile development is the identification of thesequence for developing modules within the program based on the stated requirements. The challengehere is that the difficulty of finding the best solution is a function of the number of modules to becreated plus other factors, giving rise to a NP complete problem. We will start wi...
متن کاملProceedings of the Eighth International Workshop on Constraint Handling Rules
The aim of this talk is to present a general framework for compiling Constraint Handling Rules (CHR) to a low level hardware description language (HDL). The benefit introduced by a CHR based hardware synthesis is twofold: it increases the abstraction level of the common synthesis work-flow and it can give significant speed up to the execution of a CHR program. I will describe a practical method...
متن کاملmortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.111.0